A Formally-Proven Composable Architecture for Real-Time Systems
نویسندگان
چکیده
The Message Scheduled System (MSS) is a composable real-time architecture that allows the extension of systems at runtime without compromising timing guarantees. In this paper, we introduce the MSS architecture and discuss its guarantees as well as the way of proving the holding of these guarantees for any system that follows the MSS architecture.
منابع مشابه
Dataflow formalisation of real-time streaming applications on a Composable and Predictable Multi-Processor SOC
Embedded systems often contain multiple applications, some of which have real-time requirements and whose performance must be guaranteed. To efficiently execute applications, modern embedded systems contain Globally Asynchronous Locally Synchronous (GALS) processors, network on chip, DRAM and SRAM memories, and system software, e.g. microkernel and communication libraries. In this paper we desc...
متن کاملTowards Composable Timing for Real-Time Software
Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient methods and tools to effectively reason about the timing of software in such a way that software systems can be constructed hierarchically from components while still guaranteei...
متن کاملResolving priority inversions in composable conveyor systems
The well known problem of priority inversions that occurs in classical real-time systems also manifests in decentralized cyber-physical systems. Using a specific example of composable conveyor systems, we show how priority inversions hinder the transport of entities through the conveyor systems. We present a novel adaptation of the classical priority inheritance protocol for resolving these cyb...
متن کاملReservation based protocol for resolving priority inversions in composable conveyor systems
A reservation based protocol for resolving priority inversions in decentralized realtime systems that are useful in the domain of advanced manufacturing is presented. The problem of priority inversions is well-known in the real-time systems literature. When there is prioritized access to shared resources, it is natural consequence for a low-priority task to be serviced before a high-priority ta...
متن کاملReal Time Dynamic Simulation of Power System Using Multiple Microcomputers
Recent developments in the design and manufacture of microcomputers together with improved simulation techniques make it possible to achieve the speed and accuracy required for the dynamic simulation of power systems in real time. This paper presents some experimental results and outlines new ideas on hardware architecture, mathematical algorithms and software development for this purpose. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005